Issue1003.agda:7,12-33
Instance arguments whose type does not end in a named or variable
type are never considered by instance search, so having an instance
argument ⦃ T : Set ⦄ has no effect.
when checking that the expression ⦃ T : Set ⦄ → T → Set is a type
Issue1003.agda:10,38-44
Instance search can only be used to find elements in a named type
when checking that y is a valid argument to a function of type
⦃ T : Set ⦄ → T → Set
